$\forall$${\it es}$:event\_system\{i:l\}, $e$,${\it e'}$:es{-}E(${\it es}$).
\\[0ex](loc($e$) = loc(${\it e'}$) $\in$ Id) $\Rightarrow$ (es{-}le(${\it es}$; $e$; ${\it e'}$) $\Leftarrow\!\Rightarrow$ ($\neg$es{-}locl(${\it es}$; ${\it e'}$; $e$)))